elimination of constants